<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN' 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'>
<html xmlns='http://www.w3.org/1999/xhtml'>
<head>
<title>buttons_width</title>
<meta name='robots' content='noindex,nofollow' />
<meta name='generator' content='GLOBAL-6.5.7' />
<meta http-equiv='Content-Style-Type' content='text/css' />
<link rel='stylesheet' type='text/css' href='../style.css' />
</head>
<body>
<pre>
<span class='curline'><a href='../S/src--filemanager--filegui.c.html#L718'>buttons_width</a>     718 src/filemanager/filegui.c     int buttons_width;</span>
<span class='curline'><a href='../S/src--filemanager--filegui.c.html#L720'>buttons_width</a>     720 src/filemanager/filegui.c     buttons_width = 2 + progress_buttons[0].len + progress_buttons[3].len;</span>
<span class='curline'><a href='../S/src--filemanager--filegui.c.html#L721'>buttons_width</a>     721 src/filemanager/filegui.c     buttons_width += progress_buttons[i].len;</span>
<span class='curline'><a href='../S/src--filemanager--filegui.c.html#L724'>buttons_width</a>     724 src/filemanager/filegui.c     progress_buttons[0].w-&gt;x = w-&gt;x + (w-&gt;cols - buttons_width) / 2;</span>
<span class='curline'><a href='../S/src--filemanager--filegui.c.html#L804'>buttons_width</a>     804 src/filemanager/filegui.c     int buttons_width;</span>
<span class='curline'><a href='../S/src--filemanager--filegui.c.html#L926'>buttons_width</a>     926 src/filemanager/filegui.c     buttons_width = 2 +</span>
<span class='curline'><a href='../S/src--filemanager--filegui.c.html#L931'>buttons_width</a>     931 src/filemanager/filegui.c     widget_set_size (w, w-&gt;y, w-&gt;x, y + 3, MAX (COLS * 2 / 3, buttons_width + 6));</span>
</pre>
</body>
</html>
